| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 585082 | ||
| Algorithmic Foundations of Data Science | Übung | 579319 | Mi 12:30-14:00 AH I (2350|028) (×15) | |||
| Algorithmic Foundations of Data Science | Vorlesung | 579330 | Di 16:30-18:00 AH I (2350|028) (×15) Do 14:30-16:00 AH I (2350|028) (×15) | |||
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 581490 | Do 25.02.2027 11:00-13:00 Do 25.03.2027 11:00-13:00 | |
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 583282 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 577180 | Di 10:30-12:00 3220|259 (×13) Do 10:30-12:00 3220|259 (×13) | |||
| Foundations of the UML | Theoretical Foundations of the UML | Fach-/Modulprüfung | 6 | 585104 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 585086 | ||
| Introduction to Model Checking | Übung | 577398 | Fr 12:30-14:00 AH I (2350|028) (×15) | |||
| Introduction to Model Checking | Vorlesung | 578334 | Mi 14:30-16:00 AH I (2350|028) (×15) Do 16:30-18:00 AH I (2350|028) (×15) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 582368 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 578303 | Mo 10:30-12:00 AH V (2356|050) (×15) Mi 14:30-16:00 AH V (2356|050) (×15) Fr 14:30-15:15 5056 (2356|056) (×15) | |||
| Theory of Distributed Systems | Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 583876 |